Communication Abstractions for System-Level Design and Synthesis
نویسنده
چکیده
As we are entering the network-on-chip era and system communication is becoming a dominating factor, communication abstraction and synthesis are integral to defining system design flows and methodologies. The key to the success of any approach, however, are well-defined abstraction levels and models, which enable design automation for synthesis and verification to achieve the required productivity gains. In this report, we define a flow of system communication abstraction layers and corresponding design models that supports design automation for successive, step-wise refinement of communication from abstract application transactions down to a bus-functional implementation. We applied the flow to the example of a mobile baseband chip platform. Results show the trade-offs between accuracy and complexity of different transaction levels in the flow. Furthermore, the experiments demonstrate the effectiveness and feasibility of an automated flow.
منابع مشابه
Design of Computer Integrated Manufacturing System for Irankhodro Auto Industry
Computer-integrated manufacturing (CIM), technologies are presented as solutions to manufacturing organizations, which need to perform well in all customer-related dimensions simultaneously. In the literature, CIM technologies providing such benefits as more frequent production changes, reduced inventory level, improved ability of producing complex parts with a high degree of accuracy and repea...
متن کاملDesign of Computer Integrated Manufacturing System for Irankhodro Auto Industry
Computer-integrated manufacturing (CIM), technologies are presented as solutions to manufacturing organizations, which need to perform well in all customer-related dimensions simultaneously. In the literature, CIM technologies providing such benefits as more frequent production changes, reduced inventory level, improved ability of producing complex parts with a high degree of accuracy and repea...
متن کاملCommunication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Only for you today! Discover your favourite communication and agreement abstractions for fault tolerant asynchronous distributed systems synthesis lectures on distributed computing theory book right here by downloading and getting the soft file of the book. This is not your time to traditionally go to the book stores to buy a book. Here, varieties of book collections are available to download. ...
متن کاملTemplate-based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
Modern system-on-chip (SoC) designs comprise programmable cores, application-specific accelerators and I/O devices. Accelerators are controlled by software/firmware and functionality is implemented by this combination of programmable cores, firmware, and accelerators. Verification of such SoCs is challenging, especially for system-level properties maintained by a combination of firmware and har...
متن کاملSPACE: A New Approach to Operating System Abstraction
Object-oriented operating systems, as well as conventional O/S designs, present an overly restrictive level of abstraction to the programmer. Models of objects, processes, concurrency, etc., are embedded within the system in such a way that they are di cult to extend or replace. SPACE is an extensible operating system being developed for research into object-oriented and distributed systems des...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003